91.2K
Publications
5.7M
Citations
102.7K
Authors
9.1K
Institutions
Top Authors in Automated Reasoning
Discover the leading researchers and scholars who have made significant contributions to Automated Reasoning. The statistics shown in this table are calculated from publications relevant to this concept and reflect each author's impact within this specific field of study, not their overall metrics.
| Publications | Citations | H-Index | |
|---|---|---|---|
MY Rice University | 178 | 16.7K | 61 |
GG TU Wien | 122 | 10.1K | 50 |
TA University of California, Berkeley | 84 | 17.6K | 47 |
SG Microsoft (United States) | 79 | 7.1K | 46 |
RA University of Pennsylvania | 69 | 13.5K | 45 |
JY Cornell University | 93 | 10.9K | 44 |
DD Université Toulouse III - Paul Sabatier | 79 | 6.7K | 42 |
JP University of California, Los Angeles | 64 | 11.6K | 42 |
TE TU Wien | 81 | 8.2K | 42 |
DS University of Washington | 75 | 5.4K | 41 |
JM University of Illinois Urbana-Champaign | 103 | 7.9K | 40 |
PN Princeton University | 65 | 6.3K | 39 |
Page 1
Page 1